push-to-set switch - German English Dictionary